- formal manipulation
- мат.формальные преобразования; формальные выкладки; группировка (членов)
English-Russian scientific dictionary. 2008.
formal manipulation
Смотреть что такое "formal manipulation" в других словарях:
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
formal — formal1 formalness, n. /fawr meuhl/, adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: to pay one s formal respects. 2. marked by form or ceremony: a formal occasion. 3. designed for wear or use at occasions or … Universalium
Formal semantics — See also Formal semantics of programming languages. Formal semantics is the study of the semantics, or interpretations, of formal languages. A formal language can be defined apart from any interpretation of it. This is done by designating a set… … Wikipedia
Formal calculation — In mathematical logic, a formal calculation is sometimes defined as a calculation which is systematic, but without a rigorous justification . This means that we are manipulating the symbols in an expression using a generic substitution, without… … Wikipedia
formal operations — a form of thinking following the stage of concrete operations and representing the final, most mature state of thinking; usually occurring after the age of 11 and characterized by the emergence of true logical thought, with the capability for… … Medical dictionary
Complex number — A complex number can be visually represented as a pair of numbers forming a vector on a diagram called an Argand diagram, representing the complex plane. Re is the real axis, Im is the imaginary axis, and i is the square root of –1. A complex… … Wikipedia
Bra-ket notation — Quantum mechanics Uncertainty principle … Wikipedia
History of Grandi's series — Geometry and infinite zerosGrandiGuido Grandi (1671 – 1742) reportedly provided a simplistic account of the series in 1703. He noticed that inserting parentheses into nowrap|1=1 − 1 + 1 − 1 + · · · produced varying results: either:(1 1) + (1 1) + … Wikipedia
Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct … Wikipedia
1 + 2 + 4 + 8 + · · · — In mathematics, 1 + 2 + 4 + 8 + hellip; is the infinite series whose terms are the successive powers of two. As a geometric series, it is characterized by its first term, 1, and its common ratio, 2. :sum {i=0}^{n} 2^i.As a series of real numbers… … Wikipedia
Dynamical system (definition) — This article presents the many ways to define a dynamical system. See the main article, dynamical system, for an overview of the topic. The dynamical system concept is a mathematical formalization for any fixed rule which describes the time… … Wikipedia
